Locale相关论文
分离公理,尤其是T2公理的无点刻划是无点拓扑理论中没有统一结果的问题。本文结合分析已有各种理论提出了一些新的刻划Locale T2性......
本文针对小涞港围护工程难点,特别是基坑受到现场条件的制约,围护体系的变形和造价较难控制,进行方案选择和设计深化,采取有效施工......
研究了一类具有齐次Dirichlet边界条件和带有非局部反应项的退化抛物方程组解的性质。利用正则化方法,证明了解的存在唯一性,通过......
该文首先介绍了有关Linux上国际化的背景知识.然后介绍了在Linux系统上开发遵循XIM协议的输入法的必要性和有关输入法的基本知识,......
对于‘■’关系满足插入性的locale,我们给出了Banaschewski-Mulvey式紧正则反射的构造性描述。进一步,证明了正规locale满足插入......
在该文中,我们将做以下几方面的工作.第一章,我们引入弱拓扑空间范畴的概念,并且证明locale范畴与弱拓扑空间范畴的关系类似于拓扑......
为了充分展示“种三产四”丰产工程成果,交流项目实施经验,促进全省水稻稳产、高产,2010年7月6日,湖南杂交水稻研究中心在醴陵市举......
为探究吕家坨井田地质构造格局,根据钻孔勘探资料,采用分形理论和趋势面分析方法,研究了井田7......
QS是食品质量安全(Quality Safety)的英文缩写,国家质检总局于2008年1月1日对所有的食品实施市场准入制度.没有食品质量安全市场......
本文初步地介绍了红旗Linux DC的国际化,本地化的概念,并分析与研究了红旗Linux DC的国际化和本地化的方法和算法.......
结合项目中对中文显示乱码处理的经验，论述java语言在linux操作系统下中文乱码产生的原因和解决方法。......
在ｓｔａｂｌｅ连续ｌｏｃａｌｅ上给出ｃｏｍｐ９ｏｎｅｎｔ核映射的一个刻划定理，从而推广了已有结果。......
在ｓｔａｂｌｅ连续ｌｏｃａｌｅ上给出ｃｏｍｐ９ｏｎｅｎｔ核映射的一个刻划定理，从而推广了已有结果。......
对闭格进行研究，给出了闭格的等价刻画，讨论了闭格与 Locale 的关系，并证明了闭格的笛卡尔乘积仍是闭格。同时，得到了闭格在保任意并的......
对闭格进行研究，给出了闭格的等价刻画，讨论了闭格与 Locale 的关系，并证明了闭格的笛卡尔乘积仍是闭格。同时，得到了闭格在保任意并的......
对现有工作流授权模型进行简要分析，提出工作流系统中基于场所的分布式授权模型，新模型适应于多种现有授权模型不能支持的应用场景。......
关于Ｌｏｃａｌｅ乘积的一点注记刘勇（基础科学部）在文献［１］中，关于Ｌｏｃａｌｅ乘积给出了一个重要刻划定理：ＬｏｃａｌｅΩ（｛Ｘｒ｜ｒ∈Γ｝）同构于Ｌｏｃａｌｅｉ｛Ω（Ｘｒ）｜ｒ∈Γ｝）当且仅当后者是空间式的．但是，作......
授权模型是协作环境中不可缺少的关键部件，为协作系统提供合适的授权机制很具挑战性。直接应用于协作系统的传统访问控制模型对多用......
近年来,我国公众对于同性恋者的态度逐渐趋于开放,但是在主流异性恋文化与话语主导之下,同性恋群体依旧遭遇一定程度的排斥和歧视......
ＩＳＯ １０６４６标准的提出是开放系统发展的一个里程碑。ＣＪＫ大字符集也经过中、日、韩三方专家的共同努力而成为第一个为国际准化组织认可的中文标......
Java3D技术与Web技术相结合,网络环境构建虚拟三维的场景,运用Java3D应用程序在同一个Locale对象中更换两种模式的BranchGroup节点......
从分析人类生活世界的角度出发，阐述了建筑活动回归生活世界的重要性和必要性，指明了人文精神是建筑设计的本质追求，并通过场所的创造......
提出拓扑系统的一种新的T2分离性--强T2分离性, 给出了T2拓扑系统的网式收敛刻画和强T2拓扑系统的滤子式收敛刻画. 证明了拓扑系统......
提出拓扑系统的一种新的T2分离性--强T2分离性, 给出了T2拓扑系统的网式收敛刻画和强T2拓扑系统的滤子式收敛刻画. 证明了拓扑系统......
构造性地定义了Locale间的Isbell,紧开及点态函数空间,研究了其良好的范畴性质(Proper和Admissible性质)及分离性质.重新得到了有......
构造性地定义了Locale间的Isbell,紧开及点态函数空间,研究了其良好的范畴性质(Proper和Admissible性质)及分离性质.重新得到了有......
引进作为特殊locale的离散拓扑P(X)的2种理想:主理想与WB理想,并研究了其对交运算的封闭性,对并运算的某些性质,同时在一定的条件......
引进作为特殊locale的离散拓扑P(X)的2种理想:主理想与WB理想,并研究了其对交运算的封闭性,对并运算的某些性质,同时在一定的条件......
从城市的角度出发,在建筑创作中探讨城市主义对于建筑设计的指导性及决定性作用.针对城市行政建筑的特殊性,结合中西文化对权力的......
首先对Ｌｏｃａｌ的两关于有点式Ｔ２特征作出了完整的比较，其次通过引入一种关系，给出了一种合理的无点Ｌｏｃａｌｅ的Ｔ２定义，并证明了在空间式条件下其与有点式Ｔ２性......
首先对Ｌｏｃａｌ的两关于有点式Ｔ２特征作出了完整的比较，其次通过引入一种关系，给出了一种合理的无点Ｌｏｃａｌｅ的Ｔ２定义，并证明了在空间式条件下其与有点式Ｔ２性......
本文定义了Ｌｏｃａｌｅ的内部算子与边界算子，详细讨论了这两个算子的性质，进一步得到了Ｌｏｃａｌｅ形式的Ｋｕｒａｔｏｗｓｋｉ定理。......
对一个ｌｏｃａｌｅＡ，若Ａ中最大元恰可表示为一簇连通元之并，则定义Ａ为可连通逼近ｌｏｃａｌｅ。文中证明了可连通逼近ｌｏｃａｌｅ恰能表示成连通ｌｏｃａｌｅ的真积，由此结构定理进一步证......
本文从生态保护，场所重建，意境创造3个方面阐述了当代国外优秀景观设计作品中的进步理念，希望对处于起步阶段的中国当代景观设计实践......
首先文中引入了Ｌ—ｆｕｚｚｙｌｏｃａｌｅ范畴，并证明了该范畴与满层Ｌ—ｆｕｚｚｙ拓扑空间范畴的关系类似于ｌｏｃａｌｅ与拓扑空间的联系．其次，文中建立了分配格的ｌｏｃａｌｅ式ｆｕｚｚｙＳｔｏｎｅ表示，并且与经典......
考察拓扑系统的两种紧性——空间式紧和locale式紧，给出紧性的若干刻画，讨论了两种紧性的相互关系，证明了拓扑系统的两种紧性都是拓扑......
基于Linux发展我国自主的民文OS方法及技术具有非常重要的意义.其中国际化、本地化及民文化是三个重要的概念.Locale的民文化定制......
通过分析ＵＮＩＸ系统国际化机制的实现方法，讨论软件国际化机制的设计技术。以便采取通用的方法来处理不同国家不同语言不同格式的信息。......
嵌入式Linux系统的汉化包括：中文字库的安装及GTK＋应用程序的汉化。安装字库可直接从已有系统上将所需字库拷贝到嵌入系统或是下载新......
基于子拓扑系统的定义进一步研究了它的一些相关性质,并且给出了若F为D的子拓扑系统,则有Spat(F)同胚于Spat(D)中的某个子拓扑系统......
A topological molecular lattice (TML) is a pair (L, T), where L is a completely distributive lattice and r is a subframe......
本文分析了SybaseCentralv6.0等软件不能正确显示中文字符的原因,并以实例说明在生产环境中,不能调整SybaseASE的配置,如何仅通过......
<正>江南好,风景旧曾谙。日出江花红胜火,春来江水绿如蓝。能不忆江南?一个"忆"字,点出了物我之间的距离感。如今,只怕那个"江南"......
信息产业部2005年度电子信息产业发展基金藏文软件专项—《基于Linux的藏文操作系统研发》旨在针对藏文的语言特点与藏语文信息处......
结合新疆的地缘、语言优势,国内软件技术开发与产业化优势,开发面向中亚和西亚地区的多文种操作系统,开辟我国软件产业出口的新领......
以特定的观察为生成元构造了互模拟quantaleQ_B，而将进程作为此quantale上的模的组成成分，由此给出了互模拟的三个完备性准则，回答了A......
